1341. Systems programming for small computers
پدیدآورنده : Marcellus, Daniel H.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Programming ، Electronic digital computers
رده :
QA
76
.
6
.
M3583
1984
1342. Taschenbuch fur Programmierer
پدیدآورنده : Mrachacz, Hans-Peter
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Handbooks, manuals, etc ، Programming languages )Electronic Computers(,Handbooks, manuals, etc ، Electronic digital computers-- Programming
رده :
QA
76
.
5
.
M72
1343. Teach yourself computer programming
پدیدآورنده : Murray-Shelley, Richard.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming,، FORTRAN )Computer program language(
رده :
QA
76
.
5
.
M83
1970
1344. Technical et science informatiques : TSI
پدیدآورنده :
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Electronic data processing - Periodicals , Electronic digital computers - Periodicals , Programming )Electronic computers( - Periodicals
رده :
QA
75
.
5
.
T43
1992
1345. Technique de la Programmation
پدیدآورنده : / G. Hardouin- Mercier
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Electronic digital computers - Programming
رده :
001
.
642
028
Ha-T
1346. Techniques de progrumation (Computer Programming techniques)
پدیدآورنده : / Theodore G. Scott
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Electronic digital computers - Programming
رده :
001
.
642
Sc-T
1347. Techniques in computer programming
پدیدآورنده : SHERMAN,PHILIP M
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , FORTRAN )COMPUTER PROGRAM LANGUAGE(
رده :
QA
76
.
5
.
S472
1348. Techniques of Program Structure and design
پدیدآورنده : / Edward Yourdon
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Electronic digital computers - Programming
رده :
001
.
642
Y81t
1349. Techniques of program structure and design
پدیدآورنده : Yourdon, Edward
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Electronic digital computers -- Programming
رده :
QA
76
.
6
.
Y68
1350. Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
T4414
1994
1351. Temporal logic : mathematical foundations and computational aspects
پدیدآورنده : Gabbay, Dov M.
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Electronic digital computers - Programming , Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
G27
1994
1352. Temporal logic of programs
پدیدآورنده : Kroger, Fred
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
K753
1987
1353. Temporal logic of programs
پدیدآورنده : KROGER,FRED
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , LOGIC,SYMBOLIC & MATHEMATICAL
رده :
QA
76
.
6
.
K753
1354. Temporal logic of programs
پدیدآورنده : Kroger, Fred
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Electronic digital computers - Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
K753
1987
1355. Temporal logic of programs
پدیدآورنده : Kroger, Fred
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Electronic digital computers -- Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
K753
1987
1356. The Art of computer programming
پدیدآورنده : / Donald Ervin Knuth
کتابخانه: Tehran University, technical faculty libraries 1 (Tehran)
موضوع : Electronic digital computers-- programming
رده :
QA
76
.
6
.
K64
1357. The Craft of programming
پدیدآورنده : Reynolds, John C
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Programming ، Electronic digital computers
رده :
QA
76
.
6
.
R47
1358. The Elements of digital computer programming
پدیدآورنده : Reilly, Edwin D
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Programming ، Electronic digital computers
رده :
QA
76
.
5
.
R44
1359. The IOTA programming system : a modular programming environment
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming,، Modular programming
رده :
QA
76
.
6
.
I66
1983
1360. The IOTA programming system : a modular programming environment
پدیدآورنده : edited by R. Nakajima and T. Yuasa
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Electronic digital computers - Programming,، Modular programming
رده :
QA
76
.
L4
v
.
160
